منابع مشابه
Formal Methods & Traditional Engineering : by Michael Jackson
Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some important successes. The Praxis CDIS development, the IBM Hursley redevelopment of CICS, the TCAS system, the INMOS T9000 transputer and a number of others are well known; but their very notability indicates how few convincing examples there are. And ...
متن کاملPutting the Music Back into Michael Jackson Studies
While news of Michael Jackson's death sent shockwaves around the world, it was particularly keenly felt in London, the city that was to have been the site of his much-hyped, and rapidly sold out, " This Is It " comeback concert series. 1 For that reason, Jackson had been locally topical for some months, making London possibly the only place in the world where record stores were prepared (albeit...
متن کاملThe Michael Jackson Design Technique: A study of the theory with applications
This paper reproduces a report written by Hoare in 1977, in which he explains the fundamental ideas of Jackson’s programming method, JSP. The notions that Hoare uses for this purpose – program traces, selective traces, and combination of selective programs – appeared in the following years in the conceptual foundation of his process algebra, CSP. Hoare shows that the key step in the JSP method,...
متن کاملJackson on Approximation 501 Dunham Jackson on Approximation
The Theory of Approximation. By Dunham Jackson. New York (American Mathematical Society Colloquium Publications, Volume 11), published by this Society, 1930. v+178 pp. In 1885 Weierstrass announced his now famous theorem: Any continuous function j•(#)> defined over a finite interval (a, b), can be approximated in (a, b) uniformly and indefinitely by a sequence of polynomials Pn(x), whose degree...
متن کاملBaillarger and Jackson: the principle of Baillarger-Jackson in aphasia.
For a French neurologist whose neurological training has been carried out at the school of the Salpetriere, Paris, Queen Square seems to be, in a certain way, London's Salpetriere. This assumption may be partly true, since these two famous hospitals have been for years dedicated to the nursing and to the study of the diseases of the nervous system, and both have a rich and peculiar tradition an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AGORA Magazine
سال: 2019
ISSN: 1380-6319
DOI: 10.21825/agora.v35i1.15651